minimization of dfa example